Model: | pacman v.1 (MDP) |
Parameter(s) | MAXSTEPS = 60 |
Property: | crash (prob-reach) |
mono ./modest-fret-pi-lrtdp-master/FretLrtdp.exe pacman.jani --epsilon 1e-3 --props crash -E MAXSTEPS=60 --timeout 580
Walltime: | 581.7833731174469s |
Return code: | 0 |
Relative Error: | 1.3603639833539331e-05 |
pacman.jani:model: info: pacman is an MDP model. pacman.jani: info: Need 15 bytes per state. Peak memory usage: 200 MB Analysis results for pacman.jani Experiment MAXSTEPS=60 + Property crash Probability: 0.5511 Time: 580.4 s